翻訳と辞書 |
Communicating X-Machine : ウィキペディア英語版 | Communicating X-Machine The Communicating (Stream) X-Machine is a model of computation introduced by various researchers in the 1990s to model systems composed of communicating agents. The model exists in several variants, which are either based directly on Samuel Eilenberg's X-machine〔S. Eilenberg (1974) ''Automata, Languages and Machines, Vol. A''. Academic Press, London. 〕 or on Gilbert Laycock's later Stream X-Machine.〔Gilbert Laycock (1993) ''The Theory and Practice of Specification Based Software Testing''. PhD Thesis, University of Sheffield. (Abstract ) 〕 == References ==
〔
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Communicating X-Machine」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|